Symposium on Principles of Programming Languages - PDFSEARCH.IO - Document Search Engine

Symposium on Principles of Programming Languages
Results: 54

#	Item
31	Robert Grimm Department of Computer Science New York University 715 Broadway, Room 711 New York, NY 10003 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2014-09-14 09:35:21 Programming Language Design and Implementation International Conference on Architectural Support for Programming Languages and Operating Systems ACM SIGACT Principles of Programming Languages Symposium on Operating Systems Principles Orc SIGPLAN XPL Computer science Association for Computing Machinery Computing
32	Why there are so few ERC grants in "New Europe" Stefan Dziembowski 1 Add to Reading List Source URL: www.informatics-europe.org Language: English - Date: 2014-10-20 05:12:43 Principles of Programming Languages Computer science Symposium on Foundations of Computer Science Symposium on Theory of Computing
33	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory
34	Ken Kennedy John and Ann Doerr University Professor Department of Computer Science Rice University November 20, 2006 Born: Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-11-20 19:15:16 Association for Computing Machinery Year of birth missing Symposium on Principles and Practice of Parallel Programming Ken Kennedy Compiler Principles of Programming Languages SIGPLAN Jack Dongarra Programming Language Design and Implementation Academia Computer science Computing
35	Relational Parametricity and Units of Measure Andrew J. Kennedy In Proceedings of the 24th Annual ACM Symposium on Principles of Programming Languages, Paris, France, JanuaryThe following copyright notice is requi Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:26:28 Denotational semantics Physics Applied mathematics Orbifold Theoretical computer science Symbol Physical quantity
36	Call for Papers: 5th Workshop on Programming Languages and Operating Systems (PLOSBig Sky Resort / Big Sky, MT, USA http://plosworkshop.orgImportant Dates Paper submission deadline: Add to Reading List Source URL: www.sigops.org Language: English - Date: 2009-06-19 01:27:35 Academia Microsoft Research Science Computer science Symposium on Operating Systems Principles Programming language Public Library of Science
37	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory
38	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
39	Rastislav Bodik Computer Science 581 Soda Hall (Par Lab) University of California, Berkeley Berkeley, CA 94720–1776 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-10-25 11:39:40 Software engineering Programming Language Design and Implementation SIGPLAN International Conference on Functional Programming Symposium on Principles and Practice of Parallel Programming Dead code elimination Principles of Programming Languages International Conference on Architectural Support for Programming Languages and Operating Systems Profiling Computer science Association for Computing Machinery Computing
40	John Gregory Morrisett Nationality: USA Phone: +[removed]Email: [removed] Web: http://www.eecs.harvard.edu/~greg Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2015-01-28 11:56:50 Association for Computing Machinery Functional programming International Conference on Functional Programming SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming International Conference on Architectural Support for Programming Languages and Operating Systems Orc Computing Computer science Software engineering

UPDATE